Über einen topologischen Satz von A. Ostrowski
نویسندگان
چکیده
منابع مشابه
Veränderungen über einen Satz von Timmesfeld - I. Quadratic Actions
We classify quadratic SL2(K)and sl2(K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.
متن کاملVeränderungen über einen
We classify quadratic SL2(K)and sl2(K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.
متن کاملEin in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
In [9] wurden mehrere Beweise ffir die Unbeweisbarkeit von kombinatorischen S/itzen in gewissen formalen Systemen ausgeftihrt. Hierbei handelt es sich u.a. um einen in Erweiterung des Kruskalschen Satzes yon Friedman [5] bewiesenen Satz fiber markierte endliche B/iume, der in einem formalen System//~ CAo mit/-/lKomprehension nicht beweisbar ist. Sowohl der ursprfingliche Beweis yon Friedman als...
متن کاملSchrijvers Beweis Von Maders Satz
In der Arbeit von Schrijver [3] wird die folgende Formulierung von Maders Satz aus [2] bewiesen (siehe Satz 1). Wir werden skizzieren wie man aus diesem Satz die Formulierung von Maders Satz über kreuzungsfreie H-Wege (siehe Korollar 2) herleiten kann. Eine Menge P von Wegen in einem Graphen G = (V,E) ist kreuzungsfrei, wenn die Schnittmenge der Eckenmengen zweier unterschiedlicher Wege aus P e...
متن کاملIntegration von Modellen in einen codebasierten Softwareentwicklungsprozess
Dieses Artikel beschreibt Konstellationen, unter denen Modelle und Quellcode innerhalb eines Projekts integrativ genutzt werden können. Ähnlich wie die in den Frühzeiten des Compilerbaus notwendige Integration von Hochsprachen und Assembler stellt ein solches Vorgehen einen wichtigen Zwischenschritt zu einer im Kern modellbasierten Softwareentwicklung dar. Anhand einer Fallstudie zu Statecharts...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1934
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-22-1-24-27